Rewriting Modulo Traced Comonoid Structure
arxiv.org·2d
✅Format Verification
Dreaming of Graphs in the Open Lakehouse
semyonsinchenko.github.io·21h·
Discuss: Hacker News
📊Graph Databases
R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
arxiv.org·1d
🧮SMT Solvers
Scheme Basics
courses.cs.washington.edu·18h·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
WeakC4, or Distilling an Emergent Object
2swap.github.io·6h·
Discuss: Hacker News
🔲Cellular Automata
Algebra 2 Problems of the Day (Algebra 2 Regents, August 2024 Part III)
mrburkemath.blogspot.com·2d·
Discuss: www.blogger.com
📐Linear Algebra
What is a smooth manifold?
burttotaro.wordpress.com·1d
🕸️Algebraic Topology
Knowledge Graph-Infused Fine-Tuning for Structured Reasoning in Large Language Models
arxiv.org·2d
📋Document Grammar
Optimizing how cells self-organize: Computational framework extracts genetic rules
phys.org·1d
🔲Cellular Automata
AI Can Do More Than You Think — The Most Practical Ways to Use AI Every Day
dev.to·3h·
Discuss: DEV
🌊Streaming Algorithms
Optimizing multiprecision LLL in FLINT
fredrikj.net·2d
🧮Algebraic Datatypes
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·13h
🔗Tailscale
LLMs are NOT Turing Complete (at train time), we need "train time recurrence"
fchaubard.github.io·4h·
Discuss: Hacker News
📼Tape Combinators
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·7h
⚔️Lean Theorem
Graphzep -TypeScript implementation of temporal knowledge graph memory system
github.com·9h·
Discuss: Hacker News
🕸️Neo4j
Simpler Category Theory
ryanbrewer.dev·2d·
Discuss: Hacker News
🔀Category Theory
Ask HN: Why is Prolog not gaining traction?
news.ycombinator.com·22h·
Discuss: Hacker News
🧮Prolog Parsing
Building Castles in the Air, but With Surprise Physics
dbreunig.com·1d
⚙️Proof Engineering
LLMs Won't Replace Programming Languages
mech-lang.org·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages
Signal Relays
pzuraq.com·13h·
Discuss: Hacker News
✨Effect Handlers